package edu.gatech.aristotle.random.util;

public interface CONSTANT_FILE_NAME {
	String dataSourceDir	//= "dataSourceDir//caseStudies//";
							= "dataSource//";
	String outputDir		= dataSourceDir + "result//";
	String testCaseNewComingDir		= "testCase//newComing//";
	String multiFailures			= "testCase//multiFailures//";
	String experimentDir	= "E://experiment//RandomInput//";
	
	String print_tokenPath	= "print_tokens//";
	String tcasPath			= "tcas//";
	String schedule			= "schedule//";
	
	String print_token_multiple_bugs_result_dir	= 	experimentDir +
													print_tokenPath + 
													multiFailures;
	

	public String PRINT_TOKENS_SINGLE_LINE_TEST_FILE_NAME	= "print_token_s_t";
	public String PRINT_TOKENS_MULTI_LINE_TEST_FILE_NAME	= "print_token_m_t";
	public String TCAS_TEST_FILE_NAME		= "tcas";
	public String SCHEDULE_TEST_FILE_NAME	= "schedule";
	
	String matrixFileNames[] 			= new String[]{
													dataSourceDir + "orignalFormat//fault-matrix_printtoken", 
													dataSourceDir + "orignalFormat//fault-matrix_printtoken2",
													dataSourceDir + "orignalFormat//fault-matrix_replace",	//replace
													dataSourceDir + "orignalFormat//fault-matrix_schedule",
													dataSourceDir + "orignalFormat//fault-matrix_schedule2",
													dataSourceDir + "orignalFormat//fault-matrix_tacs",
													dataSourceDir + "orignalFormat//fault-matrix_totinfo", 	//tinfo
													dataSourceDir + "orignalFormat//fault-matrix_space"		//space
												};
	
	String matrixNewFormatFileNames[]	= new String[]{
													dataSourceDir + "experimentFormat//new_fault-matrix_printtoken.txt",
													dataSourceDir + "experimentFormat//new_fault-matrix_printtoken2.txt",
													dataSourceDir + "experimentFormat//new_fault-matrix_replace.txt",	//replace
													dataSourceDir + "experimentFormat//new_fault-matrix_schedule.txt",
													dataSourceDir + "experimentFormat//new_fault-matrix_schedule2.txt",
													dataSourceDir + "experimentFormat//new_fault-matrix_tacs.txt",
													dataSourceDir + "experimentFormat//new_fault-matrix_totinfo.txt",	//tinfo
													dataSourceDir + "experimentFormat//new_fault-matrix_space.txt"		//space
												};
	
	String BATCH_PROGRAM_RERORT_NAME	= dataSourceDir + "batch_program_report.txt";

	
}
